Feeds to Scour
SubscribedAll
Scoured 15855 posts in 1.19 s
CodeSOD: Validation Trimmed Away
thedailywtf.com·12h
Format Verification
Preview
Report Post
Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·14h
⚖️Verification Calculi
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🔧Binary Parsing
Preview
Report Post
Type-Safe Routing Without the Build Step
werkbank.dev·57m·
Discuss: Hacker News
Format Verification
Preview
Report Post
Redacting Faces, People, Vehicles, and Plates with Amped Replay Assisted Redaction
blog.ampedsoftware.com·4h
🧪Archive Fuzzing
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·7h
📊Static Analysis
Preview
Report Post
Building an AI-Enhanced API Validator: A Weekend Developer's Journey
dev.to·23h·
Discuss: DEV
Format Verification
Preview
Report Post
cognitect/transit-format: A data interchange format.
github.com·6h·
Discuss: Hacker News
📋Format Specification
Preview
Report Post
Filtering as domain logic
blog.ploeh.dk·1d·
Discuss: r/programming
🗄️Database Internals
Preview
Report Post
The 2026 String Similarity Guidelines: Automating the Mistakes of the Past
circleid.com·1d
Format Verification
Preview
Report Post
Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection
binarly.io·21h
🔬Binary Analysis
Preview
Report Post
I decided to make a worse UUID for the pettiest of reasons.
gitpush--force.com·1d·
🧪Binary Fuzzing
Preview
Report Post
Spotlight Rules by The Spotlight Rules
spotlight-rules.com·19h·
Discuss: Hacker News
Archive Validation
Preview
Report Post
How to Generate 10,000 Localized Ad Variants with CE.SDK Engine API
img.ly·1d
🦋Format Metamorphosis
Preview
Report Post
SLSA: Safeguarding artifact integrity across any software supply chain
sam.roque-worcel.com·21h·
Discuss: Hacker News
🔗Supply Chain
Preview
Report Post
Some tree-sitter love for RPM Spec
blog.cryptomilk.org·11h·
Discuss: Lobsters
Format Verification
Preview
Report Post
BPF Verifier State Pruning: Timeline
pchaigno.github.io·1d
🛡️Archive Verification
Preview
Report Post
Subterms Modulo Theories I
philipzucker.com·2d
🎯Automata theory
Preview
Report Post
Building Modern Databases with the FDAP Stack • Andrew Lamb & Olimpiu Pop
youtube.com·1d
🦀Rusty Databases
Preview
Report Post
Tools I use
prepend.com·16h
🔌Operating system internals
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help